A template that turns a T into a Gen!T unless T is already a Gen or no Gen for given T is available.
See Implementation
A template that turns a T into a Gen!T unless T is already a Gen or no Gen for given T is available.